Report on the standardization project “Formal methods in conformance testing”
نویسندگان
چکیده
This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT.
منابع مشابه
SDL and MSC Based Test Case Generation { An Overall View of the SAMSTAG Method
This technical report summarizes the results of the research and development project 'Conformance Testing { A Tool for the Generation of Test Cases'.1 Within this project we developed a method for the automatic generation of test cases based on formal speci cations and formally de ned test purposes. The method is called SaMsTaG. It is implemented in the SaMsTaG tool. Most of the work has alread...
متن کاملApplication Profiles and Tailor-Made Conformance Test Systems
This article examines the potential of application profiles and domain profiles as means to adapt technical specifications of data structures to particular needs. The authors argue that application profiling is better suited to increase the use of formal specifications than the creation of new specifications. The authors also describe a method to generate specific conformance test systems for m...
متن کاملProving the Correctness of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always t with a well de ned theoretical value. We present here the correctness proof of the algorithm standardized for the ATM transfer capability called ABR. The proof turned out to produce a key argument during the standardization process of...
متن کاملCorrectness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well de ned theoretical value. We present here the correctness proof of the algorithm standardized for the ATM transfer capability called ABR. The proof turned out a key argument during the standardization process of ABR.
متن کاملSpecification Based Formal Testing: The EasyLink Case Study
Testing is, in most cases, a manual activity that is time consuming and error prone. Automation, however, can severely reduce the associated costs. In the project Côte de Resyste (COnformance TEsting of REactive SYSTEms) theory is being developed and a protoype tool is being built to support the automatic test generation and execution from formal specifications for reactive systems such as comm...
متن کامل